/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package test;

import semantics.Run;
import semantics.State;
import syntax.Location;
import syntax.TIOA;
import syntax.Transition;

/**
 *
 * @author hicham
 */
public abstract class AllTransitionsTestStrategy implements TestStrategy {


    abstract State getPreamble(TIOA tioa, Transition transition);
    
    abstract State getPostambule(TIOA tioa, State state);
    
    @Override
    abstract public String test(TIOA tioa);
    
}
